<?php
	/**
	 * 与时间有关的工具
	 * Enter description here ...
	 * @author ping
	 *
	 */
	class time_tools extends base
	{
		public static $framework_start;
		public static $framework_end;

		public static $module_start;
		public static $module_end;

		public static $curr_time;

		public static function set_timezone()
		{
			date_default_timezone_set('PRC');/* TODO:不大可能会做国外项目吧，就写死了 */
		}
	}